update{-}spec1($k$; $x$; $n$; $s$,$v$.$f$($s$;$v$)) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$fpf{-}single($<$$k$, $x$$>$; cons($<$$n$, $\lambda$$s$,$v$. $f$($s$;$v$)$>$; []))